2381. Towards an arithmetical logic :
پدیدآورنده: Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
2382. Towards mathematical philosophy
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
2383. Towards mathematical philosophy
پدیدآورنده: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
2384. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
2385. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده: Makinson, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
2386. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
2387. Towards the Future of Fuzzy Logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Fuzzy logic,Economics, Mathematical,Engineering
رده :
511
.
313
T737
2015
21
2388. Tracking Reason
پدیدآورنده: \ Jody Azzouni.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
2389. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
2390. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
2391. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
A99
,
2006
2392. Tracking reason :
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
2393. Tracking reason: proof, consequence, and truth
پدیدآورنده: Azzouni, Jody.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99
2006
2394. Tracking reason : proof, consequence, and truth
پدیدآورنده: Azzouni, Jody, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
A99T7
2395. Tractarian semantics :
پدیدآورنده: Peter Carruthers
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus,Language and languages-- Philosophy,Logic, Symbolic and mathematical
رده :
B3376
.
W563
T73226
1989
2396. Tractarian semantics :finding sense in Wittgenstein's Tractatus
پدیدآورنده: Carruthers, Peter
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T73226
1989
2397. Tractatus Logico-Philosophicus
پدیدآورنده: \ Ludwig Wittgenstein; translated by D.F. Pears and B.F. McGuinness; with an introduction by Bertrand Russell.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical.,Language and logic.,منطق ریاضی ,زبان و منطق
رده :
B3376
.
W56T73
2014
2398. Tractatus logico-philosophicus
پدیدآورنده: Wittgenstein, Ludwig
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563
T7313
1996
2399. Tractatus logico-philosophicus
پدیدآورنده: Wittgenstein, Ludwig, 9881-1591
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Language and languages
رده :
B
3376
.
W563T7213
2400. Tractatus logico-philosophicus
پدیدآورنده: Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T7313
2001
